#include "call.h"

/*
 * libc中不应该再包含内核的头文件，此处临时借用
 */
#include "linux/string.h"
#include "linux/printk.h"

void milli_delay(int sec)
{

}

int printf(char *fmt, ...)
{
	int len;
	va_list ap;
	char string[512];//TODO: do not use array here

	memset(string, 0, 128);
	va_start(ap, fmt);
	len = vsprintk(string, fmt, ap);
    len  = write(1, string, strlen(string));
    if (len < 0)
    {

    }
    va_end(ap);
	
    return len;
}